$\forall$${\it es}$:ES, ${\it ff}$:FIFO. ${\it ff}$.S $\in$ ${\it ff}$.C$\rightarrow$${\it ff}$.C$\rightarrow$E$\rightarrow\mathbb{P}$